PLCrypto: A Symmetric Cryptographic Library for Programmable Logic Controllers

نویسندگان

چکیده

Programmable Logic Controllers (PLCs) are control devices widely used in industrial automation. They can be found critical infrastructures like power grids, water systems, nuclear plants, manufacturing etc. This paper introduces PLCrypto, a software cryptographic library that implements lightweight symmetric algorithms for PLCs using standard PLC programming language called structured text (ST). To the best of our knowledge, PLCrypto is first ST-based executable on commercial off-the-shelf PLCs. includes wide range commonly algorithms, totaling ten including one-way functions, message authentication codes, hash block ciphers, and pseudo-random functions/generators. to protect confidentiality integrity data without additional hardware or firmware modification. also presents general optimization methodologies techniques implementing primitive operations bit-shifting/rotation, substitution, permutation. The tricks we distilled from practice guide future implementation other computationheavy programs demonstrate use case practice, further realize protocol proof aliveness as study. We benchmarked protocols PLC, Allen Bradley ControlLogix 5571, which real world. Also, make source codes publicly available, so plant operators freely deploy practice.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

a rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

this paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and petri nets. in the beginning, programmable logic controllers were widely designed by ladder logic diagrams. when complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. thus, petri nets as a high l...

متن کامل

Symmetric Authentication within a Simulatable Cryptographic Library

Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs are independent of cryptographic details. The typical abstraction is the Dolev-Yao model, which treats cryptographic operations as a specific term algebra. However, there is no cryptographic semantics, i.e., no theorem that says what a proof with the Dolev-Yao abstra...

متن کامل

Software verification for programmable logic controllers

ion Abstraction is a fundamental concept used in all formal verification methods. Abstracting means replacing a concrete object with an abstract one which is more universal, and therefore, often has a simpler structure than before. A well-chosen abstraction simplifies as much as possible, without losing too much information about the concrete object. Abstractions can be used in different ways d...

متن کامل

Automatic Fault Localization for Programmable Logic Controllers

Programmable Logic Controllers (PLCs) are widely applied to control safety critical systems. Efficient formal and non-formal methods to detect faulty behavior have been developed, but finding the cause of the buggy behavior is often still a manual process. Automatic fault localization for PLCs is studied in this paper. Methods for automated debugging are analyzed and compared with respect to ac...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IACR transaction on symmetric cryptology

سال: 2021

ISSN: ['2519-173X']

DOI: https://doi.org/10.46586/tosc.v2021.i3.170-217